| 1. | Dynamic methods can be used to implement partial evaluation by generating specialized methods at run time
动态方法可通过在运行时生成专用方法来实现分部计算。 |
| 2. | Partial evaluation , also known as program specialization , is a technique for optimizing algorithms where one or more of the input variables vary more slowly than the other inputs
分部计算（也称为程序专用化）是一种用于优化算法的技术，使用这种技术时一种或多种输入变量变化的速度会比其他输入的变化速度慢。 |
| 3. | This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description , and we have implemented a partial evaluator for like - pascal
摘要提出一种应用于过程式语言的动静态结合的部分求值技术，并给出该方法的形式描述。采用该方法，实现一个实验性的部分求值系统。 |
| 4. | Examples discussed in this section include serialization , mappings between objects and relational databases , regular expressions , partial evaluation , and compilers for languages that require runtimes
本节中讨论的示例包括序列化、对象和关系数据库之间的映射、正则表达式、分部计算，以及用于需要运行库的语言的编译器。 |
| 5. | Partial evaluation generates specialized method calls that treat the values of the slowly varying inputs as if they were constant , allowing additional optimizations to be applied to the algorithm as a whole
分部计算生成专用的方法调用，这种方法调用将缓慢变化的输入当作常数处理，从而能够将其他优化作为一个整体应用于该算法。 |
| 6. | For the three application forms in java ( local program , rmi remote invocation program and applet program ) , partial evaluation specification language provides self - contained information for the application interface automatic generation system
为此，除了提供描述通用信息的语法规则之外， jpesl描述语言还提供了描述rmi应用和applet应用的语法规则。 |
| 7. | In this thesis , in order to facilitate the application of partial evaluation , we propose forward a partial evaluation specification language for java and its application framework , moreover , we had implemented a corresponding application interface automatic generation system
为了方便部分求值这种软件自动化技术的应用，本文提出了一种面向java语言的部分求值描述语言，以及应用模型，并实现了相应的应用框架自动生成系统。 |
| 8. | In the recent ten or more years , partial evaluation ( pe ) has become one of the mainstream research topics that have been developing fast in the field of computer program theory . the potential application of its idea is pretty wide
Snl ( smallnestedlanguage )是吉林大学计算机软件教研室自行定义的教学模型语言,它是一种类pascal的“高级”程序设计语言,基本上包含了高级程序设计语言的所有常用的成分,具备了高级程序设计语言的基本特征。 |
| 9. | In the couse of partial evaluation transformation , partial evaluator will require the information of parameters of original program to judge the state of every variables and expressions in original program , and determine the mode to deal with these variables and expressions
在部分求值处理过程中，需要向部分求值器传递原始程序的参数动静状态信息，以便部分求值器判断原始程序中每个变量和表达式的状态，并决定处理这些变量和表达式的方式。 |
| 10. | Partial evaluation is a kind of technology of program optimization , also called program specification . this is a system which transform a general program to a special program , to improve the efficiency of the program . especially in the situation that needs execute the special program repeatly , the effects will be very notable
<中文摘要> =部分求值是一种程序优化技术，又称为程序例化技术，是通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，来达到提高程序执行效率的目的。 |
